A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations
نویسندگان
چکیده
منابع مشابه
A Formal Language for Model Transformation Specification
Model transformation and its automation have been the core and major challenge of MDA; consequently OMG issued a QVT RFP to standardize its process. Though many approaches have been proposed, their efficiency cannot be validated and their application scope is still limited. The task of providing a reliable solution to model transformation is critical. This paper proposes a formal language for m...
متن کاملConSpec - A Formal Language for Policy Specification
1 Introduction As mobile devices become increasingly popular, the problem of secure mobile application development gains importance. Mobile devices contain personal information, which users wish to protect. They also provide access to costly functionality, such as GSM services and GPRS connections. It is necessary to provide controlled access to the sensitive resources through fine-grained, at ...
متن کاملScilla: a Smart Contract Intermediate-Level LAnguage
This paper outlines key design principles of Scilla—an intermediatelevel language for verified smart contracts. Scilla provides a clean separation between the communication aspect of smart contracts on a blockchain, allowing for the rich interaction patterns, and a programming component, which enjoys principled semantics and is amenable to formal verification. Scilla is not meant to be a high-l...
متن کاملA Formal Semantics for a Quality of Service Contract Language
Current interests in the context of system development include non-functional aspects of an application and the quality of the service (QoS) it provides. In video on demand applications, for instance, properties such as delay, bandwidth and CPU utilization are monitored in order to identify if they are within acceptable limits. In our approach, non-functional requirements are described by contr...
متن کاملPraspel: A Specification Language for Contract-Based Testing in PHP
We introduce in this paper a new specification language named Praspel, for PHP Realistic Annotation and SPEcification Language. This language is based on the Design-by-Contract paradigm. Praspel clauses annotate methods of a PHP class in order to both specify their contracts, using preand postconditions, and assign realistic domains to the method parameters. A realistic domain describes a set o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2021
ISSN: 2169-3536
DOI: 10.1109/access.2021.3081926